Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
441	Patricia BOUYER-DECITRE Office: LSV – CNRS & ENS de Cachan 61, avenue du Pr´esident WilsonCachan – France Tel: +41 Fax: +21 Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2014-07-01 16:25:40 Theoretical computer science Engineering Electrical engineering Formal methods Grandes coles Rajeev Alur Model checking Formal verification Cachan cole Normale Suprieure Ens Computer Aided Verification
442	50 years of Data Science David Donoho Sept. 18, 2015 VersionAbstract Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Data management Formal sciences Data Data science Information science Statistics Big data Exploratory data analysis Data analysis John Tukey Mathematical statistics Open science
443	The parallel implementation of the Astr´ ee static analyzer David Monniaux http://www.di.ens.fr Centre national de la recherche scientifique (CNRS) Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2007-10-18 09:45:46 Theoretical computer science Logic in computer science Software engineering Formal methods Models of computation Parallel computing Programming language semantics Denotational semantics Abstract interpretation Semantics Astre
444	The Lane Table Method Of Constructing LR(1) Parsers David Pager Xin Chen Department of Information and Computer Science Add to Reading List Source URL: cssauh.com Language: English - Date: 2012-04-27 22:24:36 Parser generators Formal languages LALR parser LR parser Parsing Yacc Compiler-compiler PLY Formal grammar LALR parser generator Simple LR parser
445	Optimal Dynamic Partial Order Reduction Parosh Abdulla Stavros Aronis Bengt Jonsson Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2013-11-24 12:01:27 Theoretical computer science Algorithm Mathematical logic Mathematics ReedSolomon error correction Discrete mathematics Formal methods
446	Deep Feature Synthesis: Towards Automating Data Science Endeavors James Max Kanter Kalyan Veeramachaneni Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2015-10-15 14:47:29 Machine learning Formal sciences Learning Artificial intelligence Statistics K-means clustering Pattern recognition Deep feature synthesis Deep learning Data mining Support vector machine Artificial neural network
447	Trustworthy Medical Device Software Kevin Fu Assistant Professor University of Massachusetts Amherst Department of Computer Science Add to Reading List Source URL: spqr.eecs.umich.edu Language: English - Date: 2011-08-16 12:32:05 Technology Computing Software engineering Formal methods Medical technology Software development process Medical equipment Systems engineering Medical device Life-critical system IEC 62304 Computer security
448	Chenhao Tan Ph.D. Candidate Cornell University Department of Computer Science 411 Gates Hall Ithaca, NY, 14853 Add to Reading List Source URL: chenhaot.com Language: English - Date: 2016-02-27 10:57:05 Formal sciences Data mining SIGKDD Jie Tang Jon Kleinberg Science and technology in the United States Academia Information technology
449	408 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 41, Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2015-04-24 13:47:47 Theoretical computer science Formal methods Type theory Algorithms Programming paradigms Finite-state machine Algorithm Declarative programming HindleyMilner type system RANSAC Monad
450	Planning for Change in a Formal Verification of the Raft Consensus Protocol Doug Woos Zachary Tatlock James R. Wilcox Add to Reading List Source URL: verdi.uwplse.org Language: English - Date: 2016-03-16 22:46:45 Fault-tolerant computer systems Computing Mathematics Distributed algorithms Mathematical induction Raft Formal verification Consensus Leader election Mathematical proof Paxos Cognitive science

UPDATE